-
1 формальное доказательство
formal demonstration мат., formal proof, formal validationРусско-английский научно-технический словарь Масловского > формальное доказательство
-
2 формальное доказательство
1) Mathematics: formal demonstration, formal proof, formal validation2) Law: requisite evidenceУниверсальный русско-английский словарь > формальное доказательство
-
3 доказательство
ср.proof, evidence; argument ( довод); demonstration; мн. ч. case (доводы, аргументы)приводить доказательства — to adduce/furnish evidence, to give/show proofs
бесспорное доказательство — incontestable proof, indisputable proof; decisive evidence, unambiguous/unassailable proof (of)
в доказательство — as proof (of), in witness (of)
веское доказательство — strong evidence, good probative evidence
наглядное доказательство — visual proof/evidence; visual/graphic demonstration
убедительное доказательство — compelling/strong evidence, convincing proof
-
4 требование
1) General subject: be reputed, bidding (at somebody's bidding - по чьему-либо требованию, приказанию), call, charge, claim, demand, demonstration, desire, imperative, indent, insistence, insistency, instance, mandate, must, order, pretence, pretense, request, requirement, requisition, grievance2) Military: request (не категоричное, вежливое), (реквизиционное) requisition, warrant3) Engineering: objective (техническое), standard, unit (в теории массового обслуживания)4) Rare: postulate5) Chemistry: claiming6) Mathematics: condition, sine qua non7) Law: exaction, exigency, formal request (запрос)8) Accounting: claim (напр. о возмещении убытков), customer, item, unit9) Polygraphy: request slip (на книгу)10) Telecommunications: acquisition11) Information technology: objective( технические), objective (техническое), objv (технические)12) Oil: behest, pressing for, solicitation13) Special term: call slip14) Astronautics: demanding15) Patents: (техническое) objective16) SAP. reqmt17) Sakhalin energy glossary: expectation (Клиента, заказчика от Подрядчика)18) EBRD: call (о внесении взносов или об оплате акций)19) leg.N.P. qualification20) Makarov: challenge, demand (спрос), enforcement (напр., о выполнении правил, стандартов и т.п.), pretension, standards21) Logistics: draft, specification -
5 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
6 демонстрация протеста
Русско-английский военно-политический словарь > демонстрация протеста
См. также в других словарях:
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
demonstration — dem|on|stra|tion W3S3 [ˌdemənˈstreıʃən] n 1.) an event at which a large group of people meet to protest or to support something in public peaceful/violent demonstration ▪ Police opened fire on a peaceful demonstration. ▪ The proposals sparked… … Dictionary of contemporary English
demonstration — noun 1 (C) an event at which a large group of people march through the streets, in order to publicly protest about something: The new tax proposals sparked mass demonstrations. (+ against): a demonstration against the war | stage/hold a… … Longman dictionary of contemporary English
Falsos amigos — Anexo:Falsos amigos Saltar a navegación, búsqueda Los falsos amigos son palabras que pueden escribirse o tener una pronunciación similar en dos o más idiomas, pero en realidad significan conceptos diferentes, debido a sus distintas etimologías, o … Wikipedia Español
Random access machine — In computer science, random access machine (RAM) is an abstract machine in the general class of register machines. The RAM is very similar to the counter machine but with the added capability of indirect addressing of its registers. Like the… … Wikipedia
animal learning — ▪ zoology Introduction the alternation of behaviour as a result of individual experience. When an organism can perceive and change its behaviour, it is said to learn. That animals can learn seems to go without saying. The cat that… … Universalium
СДА 06-2008: Термины и определения, используемые в единой системе оценки соответствия на объектах, подконтрольных Федеральной службе по экологическому, технологическому и атомному надзору — Терминология СДА 06 2008: Термины и определения, используемые в единой системе оценки соответствия на объектах, подконтрольных Федеральной службе по экологическому, технологическому и атомному надзору: Access (access to a system or scheme)… … Словарь-справочник терминов нормативно-технической документации
Accreditation — third party attestation related to a conformity assessment body conveying formal demonstration of its competence to carry out specific conformity assessment tasks (d. 5.6 ISO/IEC 17000:2004). Источник … Словарь-справочник терминов нормативно-технической документации
Hyaluronan — Identifiers CAS number 9004 61 9 … Wikipedia
Red Knight (aircraft) — The Red Knight was a Canadian aerobatic show that operated from 1958 to 1969. Consisting of a single red Canadair CT 33 Silver Star, the Red Knight performed loops, rolls, Cuban 8s, horizontal 360s, inverted flight, and high speed passes at… … Wikipedia
Elekiter — The nihongo|Elekiter|エレキテル|Erekiteru is the Japanese name for a type of generator of static electricity used for electric experiments in the 18th century. In Japan, Hiraga Gennai presented his own elekiter in 1776, derived from an elekiter from… … Wikipedia
